Logic Synthesis, Hardware Description Languages, Digital Electronics, Circuit Verification

Feeds to Scour
SubscribedAll
Scoured 9587 posts in 577.4 ms
Cursed circuits #4: PLL frequency multiplier
lcamtuf.substack.com·1d·
Discuss: Substack
Circuit Verification
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🧠Machine Learning
Preview
Report Post
Building a Synthesizer, Chapter 13: Building the VCF
craigstuntz.com·20h
⚙️DIY Electronics
Preview
Report Post
FSM-Based Traffic Light Controller using Verilog (Vivado Sim
hackster.io·2d
🦀Embedded Rust
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·6h·
Discuss: Hacker News
📺VT100
Preview
Report Post
Assertion-First Hardware Design and Formal Verification Services
semiwiki.com·4d
🔧Hardware Verification
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·13h·
Discuss: DEV
Proof Automation
Preview
Report Post
USB3: why it's a bit harder than USB2
web.archive.org·1d
⚙️Cassette Mechanics
Preview
Report Post
lets-all-be-stupid-forever/circuit-artist: Circuit Artist is a digital circuit drawing and simulation game.
github.com·18h·
Discuss: Hacker News
Homebrew CPUs
Preview
Report Post
Interviewing for ML/AI Engineers
moderndescartes.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
How Data Travels: Packet Switching vs Circuit Switching
infosecwriteups.com
·16h
📼Cassette Networking
Preview
Report Post
Quantum Circuit Simulator – THE QUANTUM LÄND
thequantumlaend.de·1d
⚛️Quantum Circuits
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·5h·
Discuss: DEV
🔐Capability Systems
Preview
Report Post
Optics Primer, Part 1: Traditional Pluggable Optics
chipstrat.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
📐Linear Algebra
Preview
Report Post
Show HN: Buildex – Interactive system design practice with AI feedback
buildex.dev·1h·
Discuss: Hacker News
🎮Switch Archaeology
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
Attempting to test the discrete transistor method of resolving the 1130 MRAM retriggering
rescue1130.blogspot.com·3d·
Circuit Archaeology
Preview
Report Post
Improved Simulation of Stabilizer Circuits
dev.to·12h·
Discuss: DEV
⚛️Quantum Circuits
Preview
Report Post